<html>
<head><meta charset="utf-8"><title>Automation of the meeting agenda · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html">Automation of the meeting agenda</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="191814922"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/191814922" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#191814922">(Mar 25 2020 at 21:44)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> proposed to automate the addition of the PR's to the meeting agenda. We should decide how we want to do this. Would it be some script that gives text that you can directly paste in the hackmd? Or is it possible to automate even more?</p>



<a name="191833204"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/191833204" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#191833204">(Mar 26 2020 at 02:06)</a>:</h4>
<p>to be honest, a big thing that I had wanted to automate was just the process of going through the list of issues and posting them to the Zulip channel in the format that I thought was most readable/usable for the audience</p>



<a name="191833234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/191833234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#191833234">(Mar 26 2020 at 02:07)</a>:</h4>
<p>this is something that could be applied to both pre-triage (going through each unprioritized I-nominated, etc), and to triage itself (going through the beta-noms). Though if the hackmd agenda has them in the right format already, then it may make less sense to mechanize doing it for the triage meeting.</p>



<a name="191833289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/191833289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#191833289">(Mar 26 2020 at 02:08)</a>:</h4>
<p>but the point is, in my head, I figured a single interactive (probably command line) tool could hook into both the Zulip API and the github API</p>



<a name="191833318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/191833318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#191833318">(Mar 26 2020 at 02:09)</a>:</h4>
<p>reading the issues from github, posting each one to zulip in the right format, and then, after a conclusion is reached for each one, updating the github issue (or pull request) with an appropriate comment , including a link to the publicly-accessible zulip archive, and also updating the labels as appropriate for the issue/pr</p>



<a name="191838703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/191838703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#191838703">(Mar 26 2020 at 04:11)</a>:</h4>
<p>as the final picture would be great to interact with a Zulip bot that you say something like ...</p>



<a name="191838842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/191838842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#191838842">(Mar 26 2020 at 04:15)</a>:</h4>
<p><code>@bot prioritization next</code> and it pastes the next prioritization step</p>



<a name="191838846"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/191838846" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#191838846">(Mar 26 2020 at 04:15)</a>:</h4>
<p>and at the end</p>



<a name="191838853"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/191838853" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#191838853">(Mar 26 2020 at 04:15)</a>:</h4>
<p><code>@bot prioritization agenda</code> and it build the agenda</p>



<a name="191838856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/191838856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#191838856">(Mar 26 2020 at 04:15)</a>:</h4>
<p>:)</p>



<a name="191930895"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/191930895" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#191930895">(Mar 26 2020 at 18:40)</a>:</h4>
<p>/me wasn't picturing a Zulip bot, but rather a command line tool. But whatever is easiest to get off the ground, I guess.</p>



<a name="191930951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/191930951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#191930951">(Mar 26 2020 at 18:41)</a>:</h4>
<p>A command line tool has the advantage that it can build in the prompting for what the next steps/options are. that, as far as I know, is a little trickier with a chat bot.</p>



<a name="191932282"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/191932282" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#191932282">(Mar 26 2020 at 18:52)</a>:</h4>
<p>I can dive into that. I don’t mind spending time adding the functionality for a chat bot, but would we have the required infrastructure (servers etc...)</p>



<a name="191932582"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/191932582" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#191932582">(Mar 26 2020 at 18:55)</a>:</h4>
<p>Triagebot already has some support for talking to Zulip, I would be unopposed to extending it. I suspect the terminal interface would be far easier, though.</p>



<a name="191935291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/191935291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#191935291">(Mar 26 2020 at 19:16)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> oh that's great, I was planning at some point to start with that</p>



<a name="191935395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/191935395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#191935395">(Mar 26 2020 at 19:17)</a>:</h4>
<p>maybe we can write some requirements down or just start with something and keep improving it meanwhile we use it</p>



<a name="191950135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/191950135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#191950135">(Mar 26 2020 at 21:15)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> <span class="user-mention" data-user-id="116083">@pnkfelix</span> Does a HackMD API exist though? I couldn't find it</p>



<a name="192022056"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192022056" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192022056">(Mar 27 2020 at 14:10)</a>:</h4>
<p>hmm, I did find this (<a href="https://github.com/hackmdio/codimd" title="https://github.com/hackmdio/codimd">codimd</a>) which is an open-sourced stripped down version of hackmd from the same developers, and I think <em>that</em> has an API</p>



<a name="192022097"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192022097" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192022097">(Mar 27 2020 at 14:10)</a>:</h4>
<p>but that would only be useful if we were interested in hosting our own instance, and I don't think we are at that point</p>



<a name="192022430"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192022430" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192022430">(Mar 27 2020 at 14:13)</a>:</h4>
<p>There is the ability to <a href="https://hackmd.io/c/tutorials/%2Fs%2Flink-with-github#Authorize-HackMD-on-GitHub" title="https://hackmd.io/c/tutorials/%2Fs%2Flink-with-github#Authorize-HackMD-on-GitHub">sync with github</a>, which we <em>might</em> be able to use in tandem with the github API ...?</p>



<a name="192023029"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192023029" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192023029">(Mar 27 2020 at 14:16)</a>:</h4>
<p>Having said all that, the tool doesn't <em>need</em> to sync with hackmd</p>



<a name="192023121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192023121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192023121">(Mar 27 2020 at 14:17)</a>:</h4>
<p>Specifically, If we're talking about a command line tool, then it can just have a command that prints out the agenda to the screen (or to a file, etc)</p>



<a name="192023172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192023172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192023172">(Mar 27 2020 at 14:17)</a>:</h4>
<p>To me the big wins here are interactions with github and zulip, not hackmd.</p>



<a name="192023325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192023325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192023325">(Mar 27 2020 at 14:18)</a>:</h4>
<p>If we're using the GH api, it could also just post the agenda as a gist</p>



<a name="192023394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192023394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192023394">(Mar 27 2020 at 14:19)</a>:</h4>
<p>But I agree, dumping the agenda to a file or stdout seems good enough for now</p>



<a name="192035342"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192035342" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192035342">(Mar 27 2020 at 15:37)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/Automation.20of.20the.20meeting.20agenda/near/191950135" title="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/Automation.20of.20the.20meeting.20agenda/near/191950135">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <span class="user-mention silent" data-user-id="116083">pnkfelix</span> Does a HackMD API exist though? I couldn't find it</p>
</blockquote>
<p>in my opinion this can be solved simpler</p>



<a name="192035457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192035457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192035457">(Mar 27 2020 at 15:38)</a>:</h4>
<p>if we were having a zulip bot, when you say <code>@prioritization_bot build-agenda</code> it could just send the whole agenda as a message here</p>



<a name="192035481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192035481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192035481">(Mar 27 2020 at 15:38)</a>:</h4>
<p>we just copy the whole thing and paste it on hackmd</p>



<a name="192035505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192035505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192035505">(Mar 27 2020 at 15:38)</a>:</h4>
<p>that takes 10 seconds to do at max</p>



<a name="192035586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192035586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192035586">(Mar 27 2020 at 15:39)</a>:</h4>
<p>but yeah, we could also place the agenda on github or something if we want more automation</p>



<a name="192035635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192035635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192035635">(Mar 27 2020 at 15:39)</a>:</h4>
<p>the problem with the agenda in github in my opinion is that then you want to quickly modify it and make it accessible</p>



<a name="192035697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192035697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192035697">(Mar 27 2020 at 15:39)</a>:</h4>
<p><span class="user-mention silent" data-user-id="125250">Wesley Wiser</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/Automation.20of.20the.20meeting.20agenda/near/192023394" title="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/Automation.20of.20the.20meeting.20agenda/near/192023394">said</a>:</p>
<blockquote>
<p>But I agree, dumping the agenda to a file or stdout seems good enough for now</p>
</blockquote>
<p>as a zulip message or as Wesley have said, to stdout if it's a command like program</p>



<a name="192047121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047121">(Mar 27 2020 at 16:51)</a>:</h4>
<p>can we talk about the pros/cons of zulip bot vs command line tool? I feel like <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> keeps going back to that as a default, and I'm struggling to understand why</p>



<a name="192047225"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047225" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047225">(Mar 27 2020 at 16:51)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> seems like a good idea yeah</p>



<a name="192047258"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047258" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047258">(Mar 27 2020 at 16:51)</a>:</h4>
<p>The main reason to have a zulip bot that I can immediately grasp is that it would allow <em>anyone</em> to participate in driving the meeting</p>



<a name="192047291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047291">(Mar 27 2020 at 16:52)</a>:</h4>
<p>any automation will be better</p>



<a name="192047365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047365">(Mar 27 2020 at 16:52)</a>:</h4>
<p>without having to download a tool, learn how to run it properly and about the idiosyncrasies of its interface</p>



<a name="192047397"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047397" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047397">(Mar 27 2020 at 16:52)</a>:</h4>
<p>I think a zulip bot will be better because we would be running the meeting in zulip</p>



<a name="192047418"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047418" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047418">(Mar 27 2020 at 16:52)</a>:</h4>
<p>so one can just ask for things here and the bot will reply</p>



<a name="192047429"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047429" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047429">(Mar 27 2020 at 16:52)</a>:</h4>
<p>like</p>



<a name="192047468"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047468" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047468">(Mar 27 2020 at 16:52)</a>:</h4>
<p>spastorino: @prioritization-bot next</p>



<a name="192047556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047556">(Mar 27 2020 at 16:53)</a>:</h4>
<p>prioritization-bot: next is <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AT-compiler+-label%3AP-high++-label%3AP-medium+-label%3AP-low+label%3AI-nominated" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AT-compiler+-label%3AP-high++-label%3AP-medium+-label%3AP-low+label%3AI-nominated">Unprioritized T-compiler</a>, you need to prioritize issues and remove nomination of the ones not worth discussing</p>



<a name="192047626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047626">(Mar 27 2020 at 16:53)</a>:</h4>
<p>what's the typical model for a bot to maintain state like that?</p>



<a name="192047631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047631">(Mar 27 2020 at 16:54)</a>:</h4>
<p>or something like that</p>



<a name="192047698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047698">(Mar 27 2020 at 16:54)</a>:</h4>
<p>does it e.g. maintain internal state per channel? Per (channel, user)?</p>



<a name="192047705"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047705" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047705">(Mar 27 2020 at 16:54)</a>:</h4>
<p>well, I wanted to note that the bot would need to keep state, unsure how easy is to do that</p>



<a name="192047767"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047767" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047767">(Mar 27 2020 at 16:54)</a>:</h4>
<p>Right. If its not easy to make a bot keep state, then it seems like a no-go to me.</p>



<a name="192047798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047798">(Mar 27 2020 at 16:54)</a>:</h4>
<p>If we cannot have the bot maintain state, then I don't think it will add much convenience</p>



<a name="192047819"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047819" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047819">(Mar 27 2020 at 16:55)</a>:</h4>
<p>since we'd have to encode the current state in the command we issue</p>



<a name="192047821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047821">(Mar 27 2020 at 16:55)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116083">pnkfelix</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/Automation.20of.20the.20meeting.20agenda/near/192047698" title="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/Automation.20of.20the.20meeting.20agenda/near/192047698">said</a>:</p>
<blockquote>
<p>does it e.g. maintain internal state per channel? Per (channel, user)?</p>
</blockquote>
<p>I guess it could be global state, we could use things like @prioritization-bot start and the end</p>



<a name="192047859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047859">(Mar 27 2020 at 16:55)</a>:</h4>
<p>(though I suppose the bot could, heh, prompt you with the next command you should send to it.)</p>



<a name="192047877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047877">(Mar 27 2020 at 16:55)</a>:</h4>
<p><span class="user-mention" data-user-id="116122">@simulacrum</span> is something like that possible?</p>



<a name="192047915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192047915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192047915">(Mar 27 2020 at 16:55)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116083">pnkfelix</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/Automation.20of.20the.20meeting.20agenda/near/192047767" title="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/Automation.20of.20the.20meeting.20agenda/near/192047767">said</a>:</p>
<blockquote>
<p>Right. If its not easy to make a bot keep state, then it seems like a no-go to me.</p>
</blockquote>
<p>agreed</p>



<a name="192048099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192048099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192048099">(Mar 27 2020 at 16:56)</a>:</h4>
<p>The main problem with a command line tool is that we'd have to figure out how to make such a tool interface with the Zulip API</p>



<a name="192048136"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192048136" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192048136">(Mar 27 2020 at 16:56)</a>:</h4>
<p>to be clear, I wasn't trying to discuss what's better or not. I was thinking that is an option to consider and mainly just dreaming a bit about possibilities :)</p>



<a name="192048213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192048213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192048213">(Mar 27 2020 at 16:57)</a>:</h4>
<p>it took me a little while to work out how to communicate via the Github API, but I've been hoping that the stuff I learned in doing that task would be at least semi-applicable to interfacing to the Zulip API</p>



<a name="192048253"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192048253" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192048253">(Mar 27 2020 at 16:57)</a>:</h4>
<p>Global state is easy</p>



<a name="192048276"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192048276" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192048276">(Mar 27 2020 at 16:57)</a>:</h4>
<p>cool</p>



<a name="192048306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192048306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192048306">(Mar 27 2020 at 16:57)</a>:</h4>
<p>(and even e.g. per channel/per user), just stick it in the database</p>



<a name="192048309"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192048309" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192048309">(Mar 27 2020 at 16:57)</a>:</h4>
<p>well @triagebot handle state per user actually</p>



<a name="192048402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192048402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192048402">(Mar 27 2020 at 16:58)</a>:</h4>
<p>Hm, well, no, currently there's no per user state associated with the bot</p>



<a name="192048417"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192048417" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192048417">(Mar 27 2020 at 16:58)</a>:</h4>
<p>but in this case I think it's overkill, global state is enough</p>



<a name="192048439"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192048439" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192048439">(Mar 27 2020 at 16:58)</a>:</h4>
<p>(just with the triagebot server in general)</p>



<a name="192048484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192048484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192048484">(Mar 27 2020 at 16:58)</a>:</h4>
<p>how does triagebot knows then my pending stuff?</p>



<a name="192048550"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192048550" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192048550">(Mar 27 2020 at 16:59)</a>:</h4>
<p>Sorry, I meant that it's a single db for the web and Zulip interfaces</p>



<a name="192048571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192048571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192048571">(Mar 27 2020 at 16:59)</a>:</h4>
<p>ahh ok ok</p>



<a name="192048596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192048596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192048596">(Mar 27 2020 at 16:59)</a>:</h4>
<p>i.e. no zulip-specific state</p>



<a name="192048621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192048621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192048621">(Mar 27 2020 at 16:59)</a>:</h4>
<p>But adding a new table is super cheap</p>



<a name="192048715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192048715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192048715">(Mar 27 2020 at 17:00)</a>:</h4>
<p>anyway, if we were going with global state our problem would be solved because won't be zulip specific neither</p>



<a name="192048812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192048812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192048812">(Mar 27 2020 at 17:00)</a>:</h4>
<p>maybe I can try something out today</p>



<a name="192048867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192048867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192048867">(Mar 27 2020 at 17:01)</a>:</h4>
<p><span class="user-mention" data-user-id="116122">@simulacrum</span> is there some repo I should take a look at? to use as an example</p>



<a name="192048949"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192048949" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192048949">(Mar 27 2020 at 17:01)</a>:</h4>
<p>This is all in triagebot</p>



<a name="192049001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192049001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192049001">(Mar 27 2020 at 17:01)</a>:</h4>
<p><a href="http://zulip.rs" title="http://zulip.rs">zulip.rs</a> iirc</p>



<a name="192049348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192049348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192049348">(Mar 27 2020 at 17:04)</a>:</h4>
<p>and how do you deploy this?</p>



<a name="192049460"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192049460" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192049460">(Mar 27 2020 at 17:04)</a>:</h4>
<p>I guess this is where the Docker setup I see on the repo enters</p>



<a name="192052766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192052766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192052766">(Mar 27 2020 at 17:29)</a>:</h4>
<p>yeah it'll auto deploy on merge to master</p>



<a name="192063860"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192063860" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192063860">(Mar 27 2020 at 18:51)</a>:</h4>
<p>I’ve started to dive into the source code for <span class="user-mention" data-user-id="261224">@triagebot</span></p>



<a name="192063861"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192063861" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192063861">(Mar 27 2020 at 18:51)</a>:</h4>
<p>Unknown command.</p>



<a name="192063920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192063920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192063920">(Mar 27 2020 at 18:51)</a>:</h4>
<p>Oops, didn’t mean to wake you up :D</p>



<a name="192064103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192064103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192064103">(Mar 27 2020 at 18:53)</a>:</h4>
<p>/me sits and wonders if it is just inevitable that people are going to make this work via <code>@triagebot</code>, by hook or by crook</p>



<a name="192064242"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192064242" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192064242">(Mar 27 2020 at 18:54)</a>:</h4>
<p>I guess it shouldn't matter to me, as long as the automation gets done, one way or another</p>



<a name="192064801"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192064801" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192064801">(Mar 27 2020 at 18:58)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> I personally think that the zulip bot is probably the right interface precisely because it has the natural "you just need to do what someone else did (publicly)" vs. the CLI that is sort of everyone-discovers-themselves. I also think that the underlying logic is likely to be pretty similar, so I imagine that if we end up deciding the bot is not working well we can change the frontend to a CLI vs. the bot fairly easily</p>



<a name="192064861"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192064861" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192064861">(Mar 27 2020 at 18:59)</a>:</h4>
<p>The interfacing with Zulip itself and with Github are likely to be reused?</p>



<a name="192064877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192064877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192064877">(Mar 27 2020 at 18:59)</a>:</h4>
<p>to me those seem like the biggest hurdles</p>



<a name="192064880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192064880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192064880">(Mar 27 2020 at 18:59)</a>:</h4>
<p>for a CLI</p>



<a name="192064928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192064928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192064928">(Mar 27 2020 at 18:59)</a>:</h4>
<p>but maybe I'm over-simplifying the custom logic we need that is specific to the pre-triage and triage processes.</p>



<a name="192065875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192065875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192065875">(Mar 27 2020 at 19:06)</a>:</h4>
<p>oh well the zulip interface is pretty much ready to go</p>



<a name="192065888"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192065888" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192065888">(Mar 27 2020 at 19:06)</a>:</h4>
<p>i.e. the API etc is already done</p>



<a name="192065917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192065917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192065917">(Mar 27 2020 at 19:06)</a>:</h4>
<p>and github (and team api) etc are also available mostly in triagebot</p>



<a name="192065980"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192065980" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192065980">(Mar 27 2020 at 19:07)</a>:</h4>
<p>which is part of why I'd personally think that for something interactive zulip is probably easier</p>



<a name="192078115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192078115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192078115">(Mar 27 2020 at 20:51)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/Automation.20of.20the.20meeting.20agenda/near/192063860" title="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/Automation.20of.20the.20meeting.20agenda/near/192063860">said</a>:</p>
<blockquote>
<p>I’ve started to dive into the source code for <span class="user-mention silent" data-user-id="261224">triagebot</span></p>
</blockquote>
<p>hey, were you able to do something?</p>



<a name="192078154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192078154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192078154">(Mar 27 2020 at 20:51)</a>:</h4>
<p>I've just finished some stuff and could dive, pretty late though :)</p>



<a name="192078253"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192078253" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192078253">(Mar 27 2020 at 20:52)</a>:</h4>
<p>but anyway was interested in hearing from you</p>



<a name="192084299"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192084299" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192084299">(Mar 27 2020 at 21:47)</a>:</h4>
<p>I mostly looked up the code to try to understand the structure of the bot.</p>



<a name="192084529"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192084529" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192084529">(Mar 27 2020 at 21:49)</a>:</h4>
<p>I just need to find a design for how to handle a meeting (steps, interactions with the Zulip and GitHub APIs) so that it could be flexible and extensible, so that if the meeting procedure changes, implementing the changes into the bot wouldn’t be hard</p>



<a name="192084633"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192084633" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192084633">(Mar 27 2020 at 21:50)</a>:</h4>
<p>I’m assuming a meeting/pre-meeting will always be a sequence of steps of some sort, does that look right? <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> <span class="user-mention" data-user-id="116083">@pnkfelix</span></p>



<a name="192086365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192086365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192086365">(Mar 27 2020 at 22:09)</a>:</h4>
<p>unsure I got your question</p>



<a name="192089525"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192089525" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192089525">(Mar 27 2020 at 22:49)</a>:</h4>
<p>I meant, is it safe to assume that any (future) meeting procedure will always follow a step-by-step construction?</p>



<a name="192089629"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192089629" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192089629">(Mar 27 2020 at 22:51)</a>:</h4>
<p>yes</p>



<a name="192089678"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/192089678" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#192089678">(Mar 27 2020 at 22:51)</a>:</h4>
<p>if you take a look at the procedure document, the meeting should follow the order layed out there</p>



<a name="194996907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/194996907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#194996907">(Apr 22 2020 at 22:04)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> I think it is time to revisit this?</p>



<a name="194996940"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/194996940" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#194996940">(Apr 22 2020 at 22:04)</a>:</h4>
<p>I mainly thought about the design, so I wanted to have your feedback</p>



<a name="194997523"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/194997523" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#194997523">(Apr 22 2020 at 22:11)</a>:</h4>
<ul>
<li>We probably need a command to start a meeting? Nothing much to say here I think, but we may need to discuss how we want it to handle WG checkins.</li>
<li>To drive the meeting, I thought we’d only need a <code>next</code> command which would print the current state of the meeting and handle basic features like automatically removing <code>I-nominated</code> or displaying the fancy reactions for the backports</li>
</ul>



<a name="194997749"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/194997749" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#194997749">(Apr 22 2020 at 22:13)</a>:</h4>
<ul>
<li>Also we would need various commands to act on the current issue, like adding/removing labels, assigning people...</li>
</ul>



<a name="194999507"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/194999507" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#194999507">(Apr 22 2020 at 22:34)</a>:</h4>
<p>I'd do it as stateless as possible, I guess all the state you would need to have is where are we in the meeting, like having a next that goes to the next step</p>



<a name="194999533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/194999533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#194999533">(Apr 22 2020 at 22:35)</a>:</h4>
<p>but about issues and all that could be stateless we just mention the issue number and what we want to do</p>



<a name="194999630"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/194999630" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#194999630">(Apr 22 2020 at 22:36)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/Automation.20of.20the.20meeting.20agenda/near/194997749" title="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/Automation.20of.20the.20meeting.20agenda/near/194997749">said</a>:</p>
<blockquote>
<ul>
<li>Also we would need various commands to act on the current issue, like adding/removing labels, assigning people...</li>
</ul>
</blockquote>
<p>those commands already exist on github, so we would need to figure those from Zulip</p>



<a name="194999661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/194999661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#194999661">(Apr 22 2020 at 22:36)</a>:</h4>
<p>we may want some way to have only a restricted set of Zulip users able to figure that</p>



<a name="194999674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/194999674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#194999674">(Apr 22 2020 at 22:36)</a>:</h4>
<p>just in case :)</p>



<a name="195003917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195003917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195003917">(Apr 22 2020 at 23:35)</a>:</h4>
<p>is it difficult to figure out the zulip-archive URL to link to from the bot itself? I.e. are the message ID's over there predictable?</p>



<a name="195003952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195003952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195003952">(Apr 22 2020 at 23:36)</a>:</h4>
<p>(I'm imagining having the githubs comments injected by the bot link back to the relevant point in the meeting on zulip-archive. Which may be tricky for various reasons; e.g. the zulip-archive can have a bit of lag before it updates.)</p>



<a name="195004096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195004096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195004096">(Apr 22 2020 at 23:37)</a>:</h4>
<p>Zulip archive should match Zulip I think; but I was unable to identify a nice way in the bot to identify Zulip urls at all. Probably just didn't look hard enough...</p>



<a name="195714579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195714579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195714579">(Apr 29 2020 at 14:08)</a>:</h4>
<p>I'm thinking a bit if I should do something very tiny and also very bad that at least help with a couple of things we do during pre-triage</p>



<a name="195714587"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195714587" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195714587">(Apr 29 2020 at 14:08)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span></p>



<a name="195714620"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195714620" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195714620">(Apr 29 2020 at 14:08)</a>:</h4>
<p>unsure if you've tried out something</p>



<a name="195714671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195714671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195714671">(Apr 29 2020 at 14:08)</a>:</h4>
<p>I didn't, if you want to do it go ahead</p>



<a name="195714682"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195714682" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195714682">(Apr 29 2020 at 14:08)</a>:</h4>
<p>but for now, I think I'd do something for console, that I can run quickly and gives me the searches</p>



<a name="195714712"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195714712" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195714712">(Apr 29 2020 at 14:09)</a>:</h4>
<p>ok, will see if I have time and can do something</p>



<a name="195714766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195714766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195714766">(Apr 29 2020 at 14:09)</a>:</h4>
<p>I remember that we've talked about reusing code from rustbot was it?</p>



<a name="195715597"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195715597" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195715597">(Apr 29 2020 at 14:14)</a>:</h4>
<p>I need to implement pagination for a PR I have open</p>



<a name="195715635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195715635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195715635">(Apr 29 2020 at 14:15)</a>:</h4>
<p>a PR about?</p>



<a name="195715648"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195715648" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195715648">(Apr 29 2020 at 14:15)</a>:</h4>
<p>link?</p>



<a name="195715685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195715685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195715685">(Apr 29 2020 at 14:15)</a>:</h4>
<p><a href="https://github.com/rust-lang/triagebot/issues/477" title="https://github.com/rust-lang/triagebot/issues/477">rust-lang/triagebot#477</a></p>



<a name="195716005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195716005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195716005">(Apr 29 2020 at 14:17)</a>:</h4>
<p>ohh, I see</p>



<a name="195716044"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195716044" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195716044">(Apr 29 2020 at 14:17)</a>:</h4>
<p>I'll potentially have the same problem</p>



<a name="195716066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195716066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195716066">(Apr 29 2020 at 14:18)</a>:</h4>
<p>I didn't implement pagination yet (to fetch things from GH)</p>



<a name="195716122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195716122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195716122">(Apr 29 2020 at 14:18)</a>:</h4>
<p>But I'll need to do it, and so will you</p>



<a name="195716128"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195716128" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195716128">(Apr 29 2020 at 14:18)</a>:</h4>
<p>what would happen if you don't? I guess you would get just the first page?</p>



<a name="195716150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195716150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195716150">(Apr 29 2020 at 14:18)</a>:</h4>
<p>You get 30 issues</p>



<a name="195716166"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195716166" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195716166">(Apr 29 2020 at 14:18)</a>:</h4>
<p>You can request up to 100 at a time</p>



<a name="195716172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195716172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195716172">(Apr 29 2020 at 14:18)</a>:</h4>
<p>ok for my use case that's enough :)</p>



<a name="195716196"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195716196" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195716196">(Apr 29 2020 at 14:18)</a>:</h4>
<p>I mean, I told you that I was going to do something quick and dirty <span aria-label="joy" class="emoji emoji-1f602" role="img" title="joy">:joy:</span></p>



<a name="195716223"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195716223" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195716223">(Apr 29 2020 at 14:19)</a>:</h4>
<p>I want to do something that takes me less time that the time it takes me do this manually</p>



<a name="195716230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195716230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195716230">(Apr 29 2020 at 14:19)</a>:</h4>
<p>we can improve later</p>



<a name="195716286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195716286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195716286">(Apr 29 2020 at 14:19)</a>:</h4>
<p>we never have more than 30/100 issues to prioritize or nominations or anything like that</p>



<a name="195716524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195716524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195716524">(Apr 29 2020 at 14:20)</a>:</h4>
<p>However if you need to count <code>P-high</code> or <code>P-medium</code> issues...</p>



<a name="195716570"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195716570" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195716570">(Apr 29 2020 at 14:21)</a>:</h4>
<p>I mean, there is a point where you'll be limited</p>



<a name="195716611"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195716611" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195716611">(Apr 29 2020 at 14:21)</a>:</h4>
<p>Another thing that you can reuse from triagebot is the response structs</p>



<a name="195718843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195718843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195718843">(Apr 29 2020 at 14:36)</a>:</h4>
<p>I think in the end, if <span class="user-mention" data-user-id="116122">@simulacrum</span> allows us to do so, we would want this to be integrated in rustbot</p>



<a name="195718895"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195718895" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195718895">(Apr 29 2020 at 14:36)</a>:</h4>
<p>I guess he already said he wouldn't mind</p>



<a name="195718908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195718908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195718908">(Apr 29 2020 at 14:36)</a>:</h4>
<p>yeah</p>



<a name="195718974"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195718974" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195718974">(Apr 29 2020 at 14:37)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116122">simulacrum</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/Automation.20of.20the.20meeting.20agenda/near/191932582" title="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/Automation.20of.20the.20meeting.20agenda/near/191932582">said</a>:</p>
<blockquote>
<p>Triagebot already has some support for talking to Zulip, I would be unopposed to extending it. I suspect the terminal interface would be far easier, though.</p>
</blockquote>



<a name="195719031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195719031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195719031">(Apr 29 2020 at 14:37)</a>:</h4>
<p>yeah, going to start with terminal interface so we have something :)</p>



<a name="195740463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195740463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195740463">(Apr 29 2020 at 17:03)</a>:</h4>
<p>was trying some of this stuff out</p>



<a name="195740491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195740491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195740491">(Apr 29 2020 at 17:03)</a>:</h4>
<p>is there a way in github api to filter issues that do not contain certain label</p>



<a name="195740518"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195740518" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195740518">(Apr 29 2020 at 17:03)</a>:</h4>
<p>what you do with "-label" in the ui</p>



<a name="195740573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195740573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195740573">(Apr 29 2020 at 17:04)</a>:</h4>
<p>from what I can see here <a href="https://developer.github.com/v3/issues/#parameters" title="https://developer.github.com/v3/issues/#parameters">https://developer.github.com/v3/issues/#parameters</a> I don't see a way to do it</p>



<a name="195740582"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195740582" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195740582">(Apr 29 2020 at 17:04)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> <span class="user-mention" data-user-id="116122">@simulacrum</span></p>



<a name="195740709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195740709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195740709">(Apr 29 2020 at 17:05)</a>:</h4>
<p>I guess I could manually do it but ... :)</p>



<a name="195741195"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195741195" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195741195">(Apr 29 2020 at 17:09)</a>:</h4>
<p>not sure if we should use this but we could consider it: <a href="https://github.com/google/triage-party" title="https://github.com/google/triage-party">https://github.com/google/triage-party</a></p>



<a name="195741720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195741720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195741720">(Apr 29 2020 at 17:13)</a>:</h4>
<p>Seems like a big commitment to use it, maybe misunderstanding though.</p>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> why do you want to ignore some label?</p>



<a name="195741757"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195741757" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195741757">(Apr 29 2020 at 17:13)</a>:</h4>
<p>this is the kind of searches we have in our process</p>



<a name="195741771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195741771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195741771">(Apr 29 2020 at 17:14)</a>:</h4>
<p>want to look for things that have not been prioritized</p>



<a name="195741834"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195741834" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195741834">(Apr 29 2020 at 17:14)</a>:</h4>
<p>to the search is -label:P-high ... and all that chain :)</p>



<a name="195741860"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195741860" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195741860">(Apr 29 2020 at 17:14)</a>:</h4>
<p>for instance</p>



<a name="195741876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195741876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195741876">(Apr 29 2020 at 17:15)</a>:</h4>
<p>this is the search of unprioritized I-prioritize <a href="https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AT-compiler+-label%3AP-critical+-label%3AP-high+-label%3AP-medium+-label%3AP-low+label%3AI-prioritize" title="https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AT-compiler+-label%3AP-critical+-label%3AP-high+-label%3AP-medium+-label%3AP-low+label%3AI-prioritize">https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AT-compiler+-label%3AP-critical+-label%3AP-high+-label%3AP-medium+-label%3AP-low+label%3AI-prioritize</a></p>



<a name="195741913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195741913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195741913">(Apr 29 2020 at 17:15)</a>:</h4>
<p>which I'd claim we can just search for I-prioritize, if they are already prioritized we should remove I-prioritize</p>



<a name="195741914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195741914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195741914">(Apr 29 2020 at 17:15)</a>:</h4>
<p>but there are others</p>



<a name="195741927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195741927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195741927">(Apr 29 2020 at 17:15)</a>:</h4>
<p>Beta regressions without P-label: <a href="https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3Aregression-from-stable-to-beta+-label%3AP-critical+-label%3AP-high+-label%3AP-medium+-label%3AP-low+-label%3AT-libs+-label%3AT-infra+-label%3AT-rustdoc" title="https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3Aregression-from-stable-to-beta+-label%3AP-critical+-label%3AP-high+-label%3AP-medium+-label%3AP-low+-label%3AT-libs+-label%3AT-infra+-label%3AT-rustdoc">https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3Aregression-from-stable-to-beta+-label%3AP-critical+-label%3AP-high+-label%3AP-medium+-label%3AP-low+-label%3AT-libs+-label%3AT-infra+-label%3AT-rustdoc</a></p>



<a name="195741937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195741937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195741937">(Apr 29 2020 at 17:15)</a>:</h4>
<p>Ah yeah, I think there's not really great support... hm</p>



<a name="195741992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195741992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195741992">(Apr 29 2020 at 17:16)</a>:</h4>
<p>I think I need to search and filter manually</p>



<a name="195742006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195742006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195742006">(Apr 29 2020 at 17:16)</a>:</h4>
<p>:(</p>



<a name="195742059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195742059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195742059">(Apr 29 2020 at 17:16)</a>:</h4>
<p>Well if you're already limiting to just beta regressions for example that shouldn't be a problem</p>



<a name="195742292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195742292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195742292">(Apr 29 2020 at 17:18)</a>:</h4>
<p>what do you mean? that we can just get them all and it's manageable?</p>



<a name="195743658"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195743658" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195743658">(Apr 29 2020 at 17:29)</a>:</h4>
<blockquote>
<p>Seems like a big commitment to use it, maybe misunderstanding though.</p>
</blockquote>
<p>yeah definitely..</p>



<a name="195772355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195772355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195772355">(Apr 29 2020 at 21:26)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> <span class="user-mention" data-user-id="116122">@simulacrum</span> was checking again things about this and prs are even more problematic</p>



<a name="195772398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195772398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195772398">(Apr 29 2020 at 21:26)</a>:</h4>
<p><a href="https://developer.github.com/v3/pulls/#parameters" title="https://developer.github.com/v3/pulls/#parameters">https://developer.github.com/v3/pulls/#parameters</a></p>



<a name="195772413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195772413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195772413">(Apr 29 2020 at 21:26)</a>:</h4>
<p>doesn't seem to be a way to filter with labels</p>



<a name="195772426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195772426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195772426">(Apr 29 2020 at 21:27)</a>:</h4>
<p>so it's completely useless for what we want</p>



<a name="195772570"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Automation%20of%20the%20meeting%20agenda/near/195772570" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Automation.20of.20the.20meeting.20agenda.html#195772570">(Apr 29 2020 at 21:28)</a>:</h4>
<p>or we should retrieve all the PRs and filter manually, which ugh :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>